#include <math.h>

// bytes for +Infinity on a 387
char __infinity[] = { 0, 0, 0, 0, 0, 0, 0xf0, 0x7f };
